منابع مشابه
Computable Fields and Weak Truth-Table Reducibility
For a computable field F , the splitting set SF of F is the set of polynomials with coefficients in F which factor over F , and the root set RF of F is the set of polynomials with coefficients in F which have a root in F . Results of Frohlich and Shepherdson in [3] imply that for a computable field F , the splitting set SF and the root set RF are Turing-equivalent. Much more recently, in [6], M...
متن کاملSchnorr trivial sets and truth-table reducibility
We give several characterizations of Schnorr trivial sets, including a new lowness notion for Schnorr triviality based on truth-table reducibility. These characterizations allow us to see not only that some natural classes of sets, including maximal sets, are composed entirely of Schnorr trivials, but also that the Schnorr trivial sets form an ideal in the truth-table degrees but not the weak t...
متن کاملOn Truth-Table Reducibility to SAT
We show that polynomial time truth-table reducibility via Boolean circuits to SAT is the same as logspace truth-table reducibility via Boolean formulas to SAT and the same as logspace Turing reducibility to SAT. In addition, we prove that a constant number of rounds of parallel queries to SAT is equivalent to one round of parallel queries. We give an oracle relative to which ∆p2 is not equal to...
متن کاملUnfolding feasible arithmetic and weak truth
In this paper we continue Feferman’s unfolding program initiated in [11] which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm [13] and for a s...
متن کاملOn Semi - Cylinders , Splinters , and Bounded - Truth - Table Reducibility
In Part I of this paper we construct a bounded-truth-table-complete set which is not creative, and in Part II we construct an infinite and coinfinite recursively enumerable (r.e.) splinter which is not a cylinder. Although these results appear unrelated, the proofs given here are similar and so have been included in a single paper. The two parts may be read independently of one another. Each of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2019.24